Parameter synthesis for hierarchical concurrent real-time systems

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (Full Version)

Modeling and verifying complex real-time systems, involving timing delays, are notoriously difficult problems. Checking the correctness of a system for one particular value for each delay does not give any information for other values. It is hence interesting to reason parametrically, by considering that the delays are parameters (unknown constants) and synthesize a constraint guaranteeing a co...

متن کامل

PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems

Real-time systems are often hard to control, due to their complicated structures, quantitative time factors and even unknown delays. We present here PSyHCoS, a tool for analyzing parametric real-time systems specified using the hierarchical modeling language PSTCSP. PSyHCoS supports several algorithms for parameter synthesis and model checking, as well as state space reduction techniques. Its a...

متن کامل

Reentrant Statecharts for Concurrent Real-Time Systems

In this paper, we present novel notions of reentrant state machines and reentrant statecharts, which are extensions of traditional state machines and statecharts with the addition of concurrent syntax and semantics. Reentrant state machines can provide efficient concurrency support for statechart-based real-time tasks by interleaving the execution of concurrent tasks. With its well-defined synt...

متن کامل

Real-time Property Preservation in Concurrent Real-time Systems

A key step in concurrent real-time system development is to build a model from which the implementation is synthesized. It is thus important to understand the relation between the properties of a model and its corresponding implementation. In this paper, we first build two relations: 1) 2-weakening relations on MITLR formulas, which are used to express real-time properties of the system, and 2)...

متن کامل

Model-Checking Real-Time Concurrent Systems

A concurrent real-time system is a system of many components, that should deliver the result in a particular time interval. The design of such a system is generally complex, with high possibility of errors. Thus it is very important to be able to verify the correctness of the design itself, before going on to implementation stage. Model-checking is a powerful approach to design verification whi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Real-Time Systems

سال: 2014

ISSN: 0922-6443,1573-1383

DOI: 10.1007/s11241-014-9208-6